1 Counterpossibles [draft; short version may appear in Topoi, fuller version in Brad Armour-Garb and Fred Kroon (eds.), Philosophical Fictionalism]

Source URL: www.philosophy.ox.ac.uk

• Philosophy
• Logic
• Abstraction
• Conditionals
• Modal logic
• Philosophy of science
• Mathematical logic
• Truth
• Counterfactual conditional
• Sequent
• Impossible world
• Causality

Exploring discrete choice model with fuzzy control theory Ming LU, IVT, BAUG, ETHZ Conference paper STRC 2012

Source URL: www.strc.ch

• Fuzzy logic
• Logic
• Science and technology
• Mathematical logic
• Neuro-fuzzy
• Fuzzy control system
• Fuzzy set
• Adaptive neuro fuzzy inference system
• Discrete choice
• Membership function
• Fuzzy rule
• Artificial neural network

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

MATHEMATICAL MODAL LOGIC: A VIEW OF ITS EVOLUTION Robert Goldblattthere is no one fundamental logical notion of necessity, nor consequently of possibility. If this conclusion is valid, the subject of modality ough

Source URL: homepages.mcs.vuw.ac.nz

Mal0 tsev Meeting 2009 The international conference on algebra, mathematical logic, and applications will be held in Novosibirsk (Russia) on August 24–28, 2009. This conference is dedicated to the 100th anniversary of

Source URL: www.math.nsc.ru

Automorphisms of the truth-table degrees are fixed on a cone Bernard A. Anderson ∗ Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics

Source URL: iti.mff.cuni.cz

A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Philosophy of mathematics
• Logic
• Philosophy
• Mathematical logic
• Epistemology
• Formal sciences
• Constructivism
• Foundations of mathematics
• Intuitionism
• Finitary
• Formalism

Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Mathematical logic
• Constraint programming
• Logic in computer science
• Programming paradigms
• Satisfiability modulo theories
• Answer set programming
• Stable model semantics
• G-code
• Subroutine
• Analogy
• Algorithm

A Projection-Based Approach for Real-time Assessment and Playability Check for Physics-Based Games Mohammad Shaker1 , Noor Shaker2 , Mohamed Abou-Zleikha3 and Julian Togelius4 1 Joseph Fourier University, Grenoble, Fran

Source URL: julian.togelius.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• Gameplay
• Game
• Academia
• Human behavior